Skip to content

Conversation

Noratrieb
Copy link
Member

@Noratrieb Noratrieb commented May 26, 2025

These parts felt a bit wrong while reading it again.

Rendered

These parts felt a bit wrong while reading it again.
@Kobzol Kobzol merged commit 75245a0 into rust-lang:master May 26, 2025
5 checks passed
@Noratrieb Noratrieb deleted the Noratrieb-patch-1 branch May 26, 2025 14:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants